1. Between logic and intuition :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.

رده :
QA9
.
A5
B489
2007

2. Computer science logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Congressi - Kazimierz - 1994.,Elaborazione elettronica dei dati - Congressi - 1994.,Logica matematica e simbolica - Congressi - 1994.

رده :
QA75
.
5
L479
1995

3. El Teorema de Gödel /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Gödel, Teorema de,Lògica matemàtica,Gödel, Teorema de.,Lògica matemàtica.,Lògica matemàtica.,Teorema de Gödel.

4. Elementos de lógica formal

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Lógica formal.,Lógica simbólica y matemática

رده :
BC117
.
S63
C355
2003

5. Grundzüge der theoretischen Logik

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logica Matematica.

رده :
BC135
.
V663
1949

6. Historia de la lógica formal /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic-- History.,Logica-- Historia.,Logic.,Lógica matemática, Historia.

رده :
BC15
B6318

7. Il gioco della logica /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Giochi matematici,Logica,Logica matematica

8. Iniciación a la lógica matemática

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Lògica matemàtica.

9. Introduçao a logica para a ciencia da computaçao

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica nao-classica.,Logica no ensino.

10. Introduction to metamathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica

11. Introduzione alla logica formale /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica.,Logica formale.

12. L'analisi matematica della logica /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica

13. La congettura di Poincaré /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica.,Matematica-- Teorie.

14. Las Paradojas de la lógica

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Lògica matemàtica.

رده :
QA9
.
E947
1975

15. Le menzogne di Ulisse :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica.,Logica-- Storia.

16. Le ragioni fisiche e le dimostrazioni matematiche /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica.,Logica.,Matematica-- Teorie.,Matematica.

17. Lenguaje matemático conjuntos y números

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Matemáticas,Conjuntos, Teoría de.,Lógica matemática.,Números.

18. Lógica de primer orden

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Lògica de primer ordre.,Lògica matemàtica.,Lògica.

رده :
BC128
.
J478
1976

19. Logica matematica /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica

20. Logica matematica :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logica matematica